Wyniki
-
Time Complexity of Proof search Procedure for K4
Toshimasa Matsumoto
Bulletin of the Section of Logic , 32 /4 (2003) s. 201-211
Toshimasa Matsumoto
Bulletin of the Section of Logic
, 32
/4
(2003)
s. 201-211